<?phpsession_start();session_destroy();setcookie('pseudo', '', 0);header("Location: connexion.html?action=logout");